321. Verification of Business Rules Programs
پدیدآورنده : / Da Silva-Bruno Berstel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
322. Verification, validation and testing in software engineering
پدیدآورنده : Aristides Dasso, Ana Funes ]editors[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Validation ، Computer software,Verification ، Computer software,Testing ، Computer software
رده :
QA
76
.
76
.
V47
V488
2007
323. Verification, validation and testing in software engineering
پدیدآورنده : Aristides Dasso, Ana Funes [editors]
کتابخانه: کتابخانه دانشکده کارآفرینی دانشگاه تهران (تهران)
موضوع : Computer software -- Validation,Computer software -- Verification,Computer software -- Testing
رده :
QA
76
.
76
.
V47
V48
2007
324. Verification, validation and testing in software engineering
پدیدآورنده : Aristides Dasso, Ana Funes ]editors[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Validation ، Computer software,Verification ، Computer software,Testing ، Computer software
رده :
QA
76
.
76
.
V47
325. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
326. Verified software: theories, tools, experiments
پدیدآورنده : Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
V73
2012eb
327. Web Information Systems Engineering \U+2013\ WISE 2013
پدیدآورنده : edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computers.,Data mining.,Software engineering.
328. Web services and formal methods :
پدیدآورنده : Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
329. Wireless and satellite systems :
پدیدآورنده : Min Jia, Qing Guo, Weixiao Meng (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Wireless communication systems, Congresses.,Wireless communication systems.
رده :
TK5103
.
2
330. agent Systems-Specification and Verification of Multi
پدیدآورنده : / Jules Charles Meyer-Mehdi Dastani, Koen V. Hindriks, John
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
331. fundamentals of design and manufacturing technology I
پدیدآورنده : / edited by Hun Guo, Zuo Dunwen, Tang Guoxing
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع : Engineering design--Data processing,Manufacturing processes--Data processing,Computer integrated manufacturing systems,Manufacturing processes--Automation,CAD/CAM systems
رده :
TA174
.
A385
2011